RxLegal: Pharmacist Gag Clauses

An essential prescription: why pharmacist-inclusive conscience clauses are necessary.

New insights into retroviral Gag–Gag and Gag–membrane interactions

A critical aspect of viral replication is the assembly of virus particles, which are subsequently released as progeny virus. While a great deal of attention has been focused on better understanding this phase of the viral life cycle, many aspects of the molecular details remain poorly understood. This is certainly true for retroviruses, including that of the human immunodeficiency virus type 1 ...

Honeybee: The flying pharmacist

Honeybee, a small -although powerful- creature moves from one place to another to make an elixir, which cures different diseases. To make one kilogram of honey the small creature has to carry 150000 pieces of pollen and suck the sap of ten million flowers. Both honey and the honeybee poison have been used in treating diseases for thousands of years. The product made by such tiny creatures has b...

Honeybee: The flying pharmacist

Honeybee, a small -although powerful- creature moves from one place to another to make an elixir, which cures different diseases. To make one kilogram of honey the small creature has to carry 150000 pieces of pollen and suck the sap of ten million flowers. Both honey and the honeybee poison have been used in treating diseases for thousands of years. The product made by such tiny creatures has b...

Labelled Clauses

We add labels to first-order clauses to simultaneously apply superpositions to several proof obligations inside one clause set. From a theoretical perspective, the approach unifies a variety of deduction modes. These include different strategies such as set of support, as well as explicit case analysis, e.g., splitting. From a practical perspective, labelled clauses offer advantages in the case...